finite space中文是什么意思

• 有限空间

• "finite"中文翻译    adj. 有限的；【语法】限定的；【数学】有穷的，有尽的 ...
• "space"中文翻译    n. 1.空间；太空。 2.空隙，空地；场地；(火车轮船 ...
• "finite dimensional euclidean space" 中文翻译 :    有限维欧几里得空间
• "finite dimensional linear space" 中文翻译 :    有限维线性空间
• "finite dimensional space" 中文翻译 :    有限维空间
• "finite dimensional vector space" 中文翻译 :    有限维向量空间
• "finite measure space" 中文翻译 :    有限测度空间
• "finite probability space" 中文翻译 :    有限概率空间
• "star finite space" 中文翻译 :    星形有限空间
• "finite" 中文翻译 :    adj. 有限的；【语法】限定的；【数学】有穷的，有尽的。 n. 〔the finite〕 有限(性)； 〔集合词〕有限物。 adv. -ly ,-ness n.
• "finite elemente finite elements" 中文翻译 :    有限元素
• "be on space" 中文翻译 :    投稿为生
• "for a space" 中文翻译 :    在一段时间
• "in space" 中文翻译 :    片刻就, 一会儿就; 宇宙中; 在空地; 在空间; 在太空; 在宇宙空间，占面积
• "space" 中文翻译 :    n. 1.空间；太空。 2.空隙，空地；场地；(火车轮船飞机中的)座位；余地；篇幅。 3.空白；间隔；距离。 4.(一段)时间；片刻；一会儿。 5.【音乐】(谱表的)线间空白，线间；区间。 6.【印刷】隔条，衬条，空铅；空铅间隔；印刷物(或书写)的行间空白，打字稿一格或一行的宽度。 7.【电学】开键。 8.电台(电视)为广告节目留出的时间。 9.〔美国〕一年徒刑。 celestial space 天空。 outer space 外层空间；星际[宇宙]空间，外太空。 leave a space 留空白。 blank space 空白。 an open space 空地。 a dangerous space 危险区域。 a delivery space 扩散器。 a compression space 高压室。 S- forbids. 限于篇幅。 a long [short] space 长[短]时间。 Let us rest a space. 休息一会儿吧。 Your luggage occupies too much space. 你的行李占地太多了。 The reading room affords an ample space for 500 people. 阅览室面积可能容五百人。 Please leave a wider space between the lines. 行间的空请留得大一些。 vanish into space 在空中消失。 the space of (多少年)之间。 for a space 暂时。 for the space of a mile [two years] 一英里的距离[两年]间。 in space 片刻就，一会儿就。 vt.,vi. 留间隔；【印刷】行间[字间]衬空铅。 In designing the houses, space out them from 10 to 12 yards apart. 在设计房子时，家与家之间留间隔十至十二码。 spaced crop 宽行栽培。 spaced emphasis 加宽字母间间隔所表示的强调。 space out 【印刷】加宽行间[词间]间隔排匀。
• "this space" 中文翻译 :    这儿的空间
• "difference; finite" 中文翻译 :    有限差分
• "endlich finite" 中文翻译 :    有限的
• "finite additivity" 中文翻译 :    有限可加性
• "finite aggregate" 中文翻译 :    有限集合
• "finite algebra" 中文翻译 :    有限代数
• "finite alphabet" 中文翻译 :    有限字母, 有穷字母
• "finite amount" 中文翻译 :    有限量
• "finite amplitude" 中文翻译 :    有限振幅
• "finite angle" 中文翻译 :    有限角

• Chaos is a ubiquitous nature phenomenon . the solution of chaos mathematical model is an extremely instable movement localized on finite space . as for instability , that is , the adjacent orbit will separate exponentially with the time goes by
  混沌是自然界中存在的普遍现象,对混沌现象建模产生的混沌数学模型,其解为局限于有限相空间的高度不稳定的运动,所谓高度不稳定是指近邻的轨道随时间的发展会指数地分离。
• It is brought forward for the first time that in summertime the pco2 of the surface water near the changjiang estuary , whose salinity is less than 20 , decreases dramatically from upwards of 800uatm to downwards of 300uatm within the range of less than half one latitude , suggesting a transformation of a strong co2 source to a co2 sink in a finite space
  首次调查得到，夏季长江口附近盐度20区域的水体极高的pco _ 2 (最高测得800 atm以上)在不到半个纬度的范围内递减到300 atm以下，即由一个很强的大气co _ 2源，有限的空间尺度范围内变成为汇区，有着极大的梯度变化。
• A widely used method for checking real - time systems is , according to the real - time property to be checked , to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space . the algorithm needs only to explore the finite space to get a correct answer . in most cases , exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases . in this paper , an equivalence relation is introduced to check whether a concurrent system , which is composed of a finite set of real - time automata , satisfies a linear duration property . to avoid exhaustive exploration , this paper also introduces a compatibility relation between timed states ( configurations ) . based on these two relations , an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property . the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature
  一个被广泛用于验证实时系统的方法是根据被验证的实时性质,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间.算法只需要在这个有限的等价类空间里搜索就可以得到正确答案.但是,这个等价类空间的规模一般随着系统规模的增大而产生爆炸性的增长,以至于在很多情况下,穷尽搜索这个空间是不现实的.该文引入了一个等价关系来验证一个由多个实时自动机通过共享变量组成的并发系统是否满足一个线性时段特性.同时，还引入了格局之间的兼容关系来避免对状态等价类空间的穷尽搜索.基于这两个关系,文章提出了一个算法来验证是否一个实时自动机网满足一个线性时段特性.实例研究显示,此算法在某些情况下比其他一些工具有更好的时间和空间效率

• finite space 意味
• finite space перевод
• finite spaceとは意味有限空間｛ゆうげん くうかん｝